prolog programming language造句

Logtalk extends the Prolog programming language with support for objects, protocols, and other OOP concepts.
"' XSB "'is the name of a dialect of the Prolog programming language and its implementation developed at software vendor XSB, Inc.
"' YAP "'is an open source, high-performance implementation of the Prolog programming language developed at LIACC / m68k-based machines.
Cut elimination is one of the most powerful tools for proving resolution, the essential insight leading to the Prolog programming language, depends upon the admissibility of Cut in the appropriate system.
It's difficult to find prolog programming language in a sentence. 用prolog programming language造句挺难的